There’s a star system out there with three super-Earth planets and two super-Mercuries. Super-Earths are fairly familiar types of exoplanets, but super-Mercuries are rare. Those are planets with the same composition as our own Mercury, but larger and denser. Yet, here’s HD 23472, showing off two of eight known super-Mercuries in the galaxy. A team …